Language/OS - Multiplatform Resource Library

home *** CD-ROM | disk | FTP | other *** search

/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Benchmarks / differen.w < prev next >

Wrap

Text File | 1989-04-14 | 6.1 KB | 351 lines

procedure main/0 _1395: init Y7 init Y6 init Y5 init Y4 init Y3 init Y2 init Y1 put_variable_y Y8,X1 call times10/1,8 put_unsafe_value Y8,X1 put_constant x,X2 put_variable_y Y7,X3 call d/3,7 put_unsafe_value Y7,X1 escape write/1 escape nl/0 put_variable_y Y6,X1 call divide10/1,6 put_unsafe_value Y6,X1 put_constant x,X2 put_variable_y Y5,X3 call d/3,5 put_unsafe_value Y5,X1 escape write/1 escape nl/0 put_variable_y Y4,X1 call log10/1,4 put_unsafe_value Y4,X1 put_constant x,X2 put_variable_y Y3,X3 call d/3,3 put_unsafe_value Y3,X1 escape write/1 escape nl/0 put_variable_y Y2,X1 call ops8/1,2 put_unsafe_value Y2,X1 put_constant x,X2 put_variable_y Y1,X3 call d/3,1 put_unsafe_value Y1,X1 escape write/1 escape nl/0 proceed procedure d/3 switch_on_term _5437,_5437,_5439 _5443: try_me_else _5448,3 _5452: get_variable_y Y2,X2 get_structure +/2,X1,2 unify_variable_x X1 unify_variable_y Y3 get_structure +/2,X3,2 unify_variable_x X3 unify_variable_y Y1 cut call d/3,3 put_value_y Y3,X1 put_value_y Y2,X2 put_value_y Y1,X3 execute_proc d/3 _5448: retry_me_else _5566 _5570: get_variable_y Y2,X2 get_structure -/2,X1,2 unify_variable_x X1 unify_variable_y Y3 get_structure -/2,X3,2 unify_variable_x X3 unify_variable_y Y1 cut call d/3,3 put_value_y Y3,X1 put_value_y Y2,X2 put_value_y Y1,X3 execute_proc d/3 _5566: retry_me_else _5684 _5688: get_variable_y Y2,X2 get_structure */2,X1,2 unify_variable_x X1 unify_variable_y Y3 get_structure +/2,X3,2 unify_variable_x X4 unify_variable_x X5 get_structure */2,X4,2 unify_variable_x X3 unify_value_y Y3 get_structure */2,X5,2 unify_value_x X1 unify_variable_y Y1 cut call d/3,3 put_value_y Y3,X1 put_value_y Y2,X2 put_value_y Y1,X3 execute_proc d/3 _5684: retry_me_else _5856 _5860: get_variable_y Y2,X2 get_structure //2,X1,2 unify_variable_x X1 unify_variable_y Y3 get_structure //2,X3,2 unify_variable_x X4 unify_variable_x X5 get_structure -/2,X4,2 unify_variable_x X4 unify_variable_x X6 get_structure */2,X4,2 unify_variable_x X3 unify_value_y Y3 get_structure */2,X6,2 unify_value_x X1 unify_variable_y Y1 get_structure ^/2,X5,2 unify_value_y Y3 unify_constant &2 cut call d/3,3 put_value_y Y3,X1 put_value_y Y2,X2 put_value_y Y1,X3 execute_proc d/3 _5856: retry_me_else _6080 _6084: get_variable_x X5,X2 get_structure ^/2,X1,2 unify_variable_x X6 unify_variable_x X2 get_structure */2,X3,2 unify_variable_x X3 unify_variable_x X4 get_structure */2,X3,2 unify_variable_x X7 unify_value_x X2 get_structure ^/2,X4,2 unify_value_x X6 unify_variable_x X3 cut put_value_x X2,X1 escape integer/1 put_value_x X3,X1 put_constant -,X3 put_constant &1,X4 escape is/4 put_value_x X6,X1 put_value_x X5,X2 put_value_x X7,X3 execute_proc d/3 _6080: retry_me_else _6293 _6297: get_structure -/1,X1,1 unify_variable_x X1 get_structure -/1,X3,1 unify_variable_x X3 cut execute_proc d/3 _6293: retry_me_else _6350 _6354: get_structure exp/1,X1,1 unify_variable_x X1 get_structure */2,X3,2 unify_variable_x X4 unify_variable_x X3 get_structure exp/1,X4,1 unify_value_x X1 cut execute_proc d/3 _6350: retry_me_else _6434 _6438: get_structure log/1,X1,1 unify_variable_x X1 get_structure //2,X3,2 unify_variable_x X3 unify_value_x X1 cut execute_proc d/3 _6434: retry_me_else _6499 _6503: get_value_x X1,X2 get_constant &1,X3 proceed _6499: trust_me_else fail _6536: get_constant &0,X3 proceed _5437: try _6503,3 trust _6536 _5439: try_me_else _6567,3 switch_on_structure 15,_6573 _6573: log/1 _6438 exp/1 _6354 -/1 _6297 ^/2 _6084 //2 _5860 */2 _5688 -/2 _5570 +/2 tcdr _5452 _6567: retry _6503 trust _6536 procedure times10/1 _8046: get_structure */2,X1,2 unify_variable_x X1 unify_constant x get_structure */2,X1,2 unify_variable_x X1 unify_constant x get_structure */2,X1,2 unify_variable_x X1 unify_constant x get_structure */2,X1,2 unify_variable_x X1 unify_constant x get_structure */2,X1,2 unify_variable_x X1 unify_constant x get_structure */2,X1,2 unify_variable_x X1 unify_constant x get_structure */2,X1,2 unify_variable_x X1 unify_constant x get_structure */2,X1,2 unify_variable_x X1 unify_constant x get_structure */2,X1,2 unify_constant x unify_constant x proceed procedure divide10/1 _8858: get_structure //2,X1,2 unify_variable_x X1 unify_constant x get_structure //2,X1,2 unify_variable_x X1 unify_constant x get_structure //2,X1,2 unify_variable_x X1 unify_constant x get_structure //2,X1,2 unify_variable_x X1 unify_constant x get_structure //2,X1,2 unify_variable_x X1 unify_constant x get_structure //2,X1,2 unify_variable_x X1 unify_constant x get_structure //2,X1,2 unify_variable_x X1 unify_constant x get_structure //2,X1,2 unify_variable_x X1 unify_constant x get_structure //2,X1,2 unify_constant x unify_constant x proceed procedure log10/1 _9667: get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_variable_x X1 get_structure log/1,X1,1 unify_constant x proceed procedure ops8/1 _10246: get_structure */2,X1,2 unify_variable_x X1 unify_variable_x X2 get_structure +/2,X1,2 unify_constant x unify_constant &1 get_structure */2,X2,2 unify_variable_x X1 unify_variable_x X2 get_structure +/2,X1,2 unify_variable_x X1 unify_constant &2 get_structure ^/2,X1,2 unify_constant x unify_constant &2 get_structure +/2,X2,2 unify_variable_x X1 unify_constant &3 get_structure ^/2,X1,2 unify_constant x unify_constant &3 proceed